Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
361	M IDDLESEX A LGORITHMS DAY (MAD! 2014) Foundations of Computing Group, Department of Computer Science, School of Science and Technology, Middlesex University, London Add to Reading List Source URL: www.cs.mdx.ac.uk Language: English - Date: 2014-03-14 02:26:32 Theoretical computer science Combinatorial optimization Algorithm Mathematical logic Search algorithm Combinatorics LEMON Matching Algorithm Selection
362	Analyzing Interrupts and Information Retrieval Systems Using Begohm Ike Antkare International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:29 Algorithm Mathematical logic Theoretical computer science
363	Teaching Statement Jeffrey Mark Siskind Thursday 31 July 2014 The candidate has redesigned the curriculum for ECE47300. The traditional AI curriculum is less relevant for today’s ECE undergraduates. AI is primarily a r Add to Reading List Source URL: engineering.purdue.edu Language: English - Date: 2015-06-19 10:59:38 Theoretical computer science Artificial intelligence Algorithm Mathematical logic Automated reasoning Pattern matching Evaluation
364	A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel (Extended Abstract) C.A.Gurr∗ Human Communication Research Centre University of Edinburgh Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Predicate logic Mathematical logic Prolog Logic programming Partial evaluation Predicate Resolution Mereology Programming language Eval
365	Microsoft Word - Create_Performance_Task_Rubric_DRAFTPILOT_JUNE2016.docx Add to Reading List Source URL: bjc.berkeley.edu Language: English - Date: 2016-06-22 00:53:11 Algorithm Mathematical logic Theoretical computer science Abstraction Object Process Methodology Systems engineering
366	Załącznik nr 3 do wytycznych dla rad podstawowych jednostek organizacyjnych do tworzenia nowych i weryfikacji istniejących programów studiów I i II stopnia w UTP w Bydgoszczy Course code Add to Reading List Source URL: cae.utp.edu.pl Language: English - Date: 2014-10-29 05:04:44 Academic transfer Algorithm Mathematical logic Theoretical computer science Search algorithm Course credit
367	LANGUAGE LEARNING AND DEVELOPMENT, 2(2), 77–96 Copyright © 2006, Lawrence Erlbaum Associates, Inc. Asymmetries in the Acquisition of Numbers and Quantifiers Felicia Hurewitz Add to Reading List Source URL: www.psych.upenn.edu Language: English - Date: 2013-01-02 10:01:26 Quantification Semantics Ontology Inference Predicate logic Quantifier Count noun Proposition Quantity Implicature Mathematical logic Existence
368	Microsoft Word - Brun-AdequateFormalization&DeMorgansArgument.doc Add to Reading List Source URL: www.georgbrun.ch Language: English - Date: 2014-10-16 03:42:08 Arguments Philosophical logic Critical thinking Logical consequence Mathematical logic First-order logic Algorithm Logical form Modal logic
369	Olympiads in Informatics, 2010, Vol. 4, 3–14 © 2010 Institute of Mathematics and Informatics, Vilnius 3 Encouraging Algorithmic Thinking Add to Reading List Source URL: www.mii.lt Language: English - Date: 2015-04-15 03:55:04 Algorithm Mathematical logic Theoretical computer science Computer science Problem solving Australian Informatics Olympiad
370	An Integrated Approach to High Integrity Software Verification Andrew Ireland1 , Bill J. Ellis1 , Andrew Cook1 , Roderick Chapman2 , Janet Barnes2 1 Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2006-05-16 11:38:59 Formal methods Automated theorem proving Theoretical computer science Logic in computer science SPARK Loop invariant Mathematical proof Automated reasoning Verification condition generator Formal verification Correctness Conjecture

UPDATE